| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Algorithmics | Fach-/Modulprüfung | 6 | 431525 | ||
| Übung | 431521 | ||||
| Vorlesung | 426476 | Do 10:30-12:00 Online-Veranstaltung (×12) Fr 10:30-12:00 Online-Veranstaltung (×10) | |||
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 420645 | ||
| Übung | 419071 | Mo 13:00-15:00 TEMP2 (1515|002) (×1) Mo 18:30-20:00 Online-Veranstaltung (×14) Di 11:00-13:00 TEMP1 (1515|001) (×1) | |||
| Vorlesung | 419595 | Di 08:30-10:00 Online-Veranstaltung (×13) Mi 08:30-10:00 Online-Veranstaltung (×13) | |||
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 422734 | ||
| Übung | 417780 | Mi 14:30-16:00 Online-Veranstaltung (×6) | |||
| Vorlesung | 418179 | Di 12:30-14:00 Online-Veranstaltung (×2) Do 12:30-14:00 Online-Veranstaltung (×11) | |||
| Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 422515 | ||
| Approximation and Online Algorithms | Fach-/Modulprüfung | 6 | 423730 | ||
| Combinatorial Graph Theory | Fach-/Modulprüfung | 6 | 421021 | ||
| Foundations of the UML | Fach-/Modulprüfung | 6 | 422739 | ||
| Functional Programming | Fach-/Modulprüfung | 6 | 421971 | ||
| Übung | 424975 | Mo 10:30-12:00 Online-Veranstaltung (×12) | |||
| Vorlesung | 424976 | Mo 10:30-12:00 Online-Veranstaltung (×1) Mo 16:30-18:00 Online-Veranstaltung (×13) Di 10:30-12:00 Online-Veranstaltung (×13) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 433043 | ||
| Logic Programming | Fach-/Modulprüfung | 6 | 421419 | ||
| Logics for Reasoning about Uncertainty | Fach-/Modulprüfung | 4 | 442081 | ||
| Vorlesung | 425003 | Di 12:30-14:00 AH I (2350|028) (×13) Di 12:30-14:00 Online-Veranstaltung (×13) | |||
| Modeling and analysis of hybrid systems | Fach-/Modulprüfung | 6 | 422632 | ||
| Vorlesung/Übung | 418239 | Mo 12:30-14:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) | |||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 429110 | ||
| Übung | 425173 | Di 12:30-14:00 Online-Veranstaltung (×13) | |||
| Vorlesung | 425172 | Di 08:30-10:00 Online-Veranstaltung (×14) Fr 08:30-10:00 Online-Veranstaltung (×14) | |||
| Online Algorithms | Fach-/Modulprüfung | 6 | 412667 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 429307 | ||
| Quantum Computing | Fach-/Modulprüfung | 4 | 424163 | ||
| Recursion Theory | Fach-/Modulprüfung | 6 | 429579 | ||
| Übung | 424973 | Mo 12:30-14:00 Online-Veranstaltung (×6) | |||
| Vorlesung | 424974 | Mo 10:30-12:00 Online-Veranstaltung (×8) Do 10:30-12:00 Online-Veranstaltung (×10) | |||
| Semantics and Verification of Software | Fach-/Modulprüfung | 6 | 422954 | ||
| Übung | 425178 | Mo 14:30-16:00 Online-Veranstaltung (×11) | |||
| Vorlesung | 425179 | Mi 10:30-12:00 Online-Veranstaltung (×14) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Static Program Analysis | Fach-/Modulprüfung | 6 | 420846 | ||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 6 | 423968 | ||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 422464 | ||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 420996 | ||
| Vorlesung | 426474 | Mi 12:30-14:00 Online-Veranstaltung (×12) Fr 08:30-10:00 Online-Veranstaltung (×7) |